Перевод: со всех языков на греческий
- Со всех языков на:
- Английский
collection of formulae
Ничего не найдено.
Попробуйте поискать во всех возможных языках
или измените свой поисковый запрос.
См. также в других словарях:
Kripke–Platek set theory with urelements — The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF. PreliminariesThe usual way of stating the axioms presumes a two sorted first order… … Wikipedia
Triangle — This article is about the basic geometric shape. For other uses, see Triangle (disambiguation). Isosceles and Acute Triangle redirect here. For the trapezoid, see Isosceles trapezoid. For The Welcome to Paradox episode, see List of Welcome to… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… … Wikipedia
Incircle and excircles of a triangle — A triangle (black) with incircle (blue), incentre (I), excircles (orange), excentres (JA,JB,JC), internal angle bisectors (red) and external angle bisectors (green) In geometry, the incircle or inscribed circle of a triangle is the largest circle … Wikipedia
Manius Manilius — (fl. 148 BC) was a Roman Republican orator and distinguished jurist who also had a long military career. It is unclear if he was related to the Manius Manilius who was degraded by Cato the Censor for embracing his wife in broad daylight in Cato s … Wikipedia
Divine Judgment — Divine Judgment † Catholic Encyclopedia ► Divine Judgment This subject will be treated under two heads: I. Divine Judgment Subjectively and Objectively Considered; II. Pre Christian Beliefs Concerning Judgment after Death.… … Catholic encyclopedia
formulary — (n.) 1540s, from Fr. formulaire “collection of formulae,” from L. formularius from formula (see FORMULA (Cf. formula)) … Etymology dictionary
protocol — n. preliminary draft of treaty; collection of formulae; rules of procedure and etiquette of state ceremonies, diplomatic exchanges, etc … Dictionary of difficult words
RÖSSERT — GERMANY (see also List of Individuals) 2.7.1920 Elbersberg/D 19.2.2005 Coburg/D Robert Rössert graduated as a civil engineer from the Munich Technical University in 1949. He then joined Siemens Company as a hydraulic engineer until 1958, where he … Hydraulicians in Europe 1800-2000
RDFLib — Infobox Software name = RDFLib developer = Daniel Krech latest release version = 2.4.0 latest release date = April 4, 2007 operating system = Cross platform genre = Library license = BSD website = [http://rdflib.net/ http://rdflib.net/] RDFLib is … Wikipedia